Sorry, Open Prolog™ can't fit any more clauses.